Instance Verification Kit (IVK)

spin lock @ [21201+37+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
dma_advance [14804+11+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
done [7326+4+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
ep0_setup [35246+9+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
goku_dequeue [20645+12+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
goku_ep_disable [6204+15+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
goku_irq [38417+8+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
goku_udc_stop [34878+13+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
nuke [20310+4+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
read_fifo [9916+9+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
stop_activity [34599+13+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]
write_fifo [8518+10+/linux-3.17-rc1/drivers/usb/gadget/udc/goku_udc.c]